Directed acyclic graph

Results: 287



#Item
81Computing / Lambda calculus / Directed acyclic graph / Tree / B-tree / Free variables and bound variables / T-tree / Combinatory logic / R-tree / Graph theory / Mathematics / Binary trees

Bottom-up β-reduction: uplinks and λ-DAGs∗ (extended version) Olin Shivers† Georgia Institute of Technology

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2005-04-26 17:10:34
82Mathematics / Lambda calculus / Directed acyclic graph / B-tree / Tree traversal / Tree / Free variables and bound variables / T-tree / Linked list / Graph theory / Binary trees / Computing

Bottom-up β-reduction: uplinks and λ-DAGs (journal version) June 29, 2010 Olin Shivers

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2010-07-08 22:05:21
83Connected component / SPQR tree / Biconnected graph / Directed acyclic graph / Series-parallel graph / Reachability / Tree decomposition / Tree / K-vertex-connected graph / Graph theory / Graph connectivity / Biconnected component

Reachability in K3,3-free and K5-free Graphs is in Unambiguous Logspace

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2014-04-18 22:07:45
84Directed acyclic graph / Shortest path problem / Graph coloring / Planarity testing / Tree / Matroid theory / Path decomposition / Chromatic polynomial / Graph theory / Planar graphs / Network theory

Longest Paths in Planar DAGs in Unambiguous Log-Space

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2011-06-02 16:29:35
85Computability theory / FO / Finite model theory / Mathematics / Directed acyclic graph / Bin / ELEMENTARY / SQL / Complexity classes / Applied mathematics / Computing

On Models and Query Languages for Probabilistic Processes ∗ Daniel Deutch Tova Milo

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-09-30 07:59:25
86Planar graphs / Network theory / Directed acyclic graph / Graph coloring / Shortest path problem / Hypercube graph / Planarity testing / Hamiltonian path / Tree / Graph theory / Theoretical computer science / NP-complete problems

Longest Paths in Planar DAGs in Unambiguous Log-Space∗ Nutan Limaye, Meena Mahajan, Prajakta Nimbhorkar The Institute of Mathematical Sciences, Chennai, India. Email: {nutan,meena,prajakta}@imsc.res.in 13 Novem

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2011-06-03 17:31:15
87Combinatorics / Flow network / Operations research / Connectivity / Directed acyclic graph / Minimum cut / Axiom / Network theory / Networks / Graph theory / Network flow / Mathematics

Trust-based recommendation systems: an axiomatic approach Reid Andersen∗ Abraham Flaxman∗ Christian Borgs∗

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2008-01-13 21:45:10
88World Wide Web / Trie / Adjacency matrix / Graph / Bit array / Directed acyclic graph / Graph theory / Mathematics / Webgraph

Permuting Web and Social Graphs∗ Paolo Boldi Massimo Santini Sebastiano Vigna Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano, Italy Abstract Since the first investigations on web graph c

Add to Reading List

Source URL: vigna.di.unimi.it

Language: English - Date: 2010-11-11 16:59:13
89Planning / Scheduling algorithms / Operations research / Scheduling / Directed acyclic graph / Parallel computing / Algorithmic skeleton / Computing / Concurrent computing / Computer programming

Parallelizing with BDSC, a Resource-Constrained Scheduling Algorithm for Shared and Distributed Memory Systems Dounia Khaldia,∗, Pierre Jouvelotb , Corinne Ancourtb a Department of Computer Science University of Housto

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-12-19 08:18:37
90Graph pebbling / CPU cache / Connectivity / Directed acyclic graph / Computational complexity theory / Randomized algorithm / Theoretical computer science / Mathematics / Applied mathematics

Pebbling and Proofs of Work Cynthia Dwork1 , Moni Naor2? , and Hoeteck Wee3?? 1 Microsoft Research, Silicon Valley Campus, 2

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2008-09-15 04:53:13
UPDATE